121. Foundations of mathematics
المؤلف: )by( William S. Hatcher,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Mathematics - Philosophy,Logic, Symbolic and mathematical
رده :
QA
.
H34
9
122. Foundations of mathematics
المؤلف: Hatcher, William S
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
H34
123. Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Godel
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Godel, Kurt
رده :
QA
9
.
F58
124. Foundations without foundationalism :
المؤلف: Stewart Shapiro.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Wiskundige logica.
رده :
QA9
.
S48
1991eb
125. Frege :
المؤلف: Michael Beaney.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Frege, Gottlob,1848-1925.,Analysis (Philosophy),Language and languages-- Philosophy.,Logic, Symbolic and mathematical.,Logic.,Mathematics-- Philosophy.
رده :
B3245
.
F24
B43
1996
126. Frege, Gottlob
المؤلف:
المکتبة: (طهران)
موضوع: ریاضیات, -- فلسفه,Mathematics - Philosophy,Number concept,Arithmetic - Foundations,Logic, Symbolic and mathematical
127. Frege and Godel; in mathematical Logic
المؤلف: / edited by Jean van Hijenoort,Van Heijenoort
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical,Mathematics -- Philosophy
رده :
QA
9
.
V28
128. Frege :philosophy of mathematics
المؤلف: Dummett, Michael A. E
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Frege, Gottlob,8481-5291,Philosophy ، Mathematics,، Logic, Symbolic and mathematical
129. Frege. philosophy of mathematics
المؤلف: Dummett, Michael Anthony Eardley, 5291-1102
المکتبة: (طهران)
موضوع: ، Mathematics -- Philosophy,Foundations ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
D85F7
130. Frege's philosophy of mathematics
المؤلف: edited by William Demopoulos
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Mathematics -- Philosophy,Mathematics -- Foundations,Logic, Symbolic and mathematical
رده :
QA
.
F74
8
.
6
1995
131. Frege's philosophy of mathematics
پدیدآورنده :
موضوع : ، Mathematics-- Philosophy,، Mathematics-- Foundations,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
132. From Frege to Godel; a source book in mathematical logic, 1879-1931
المؤلف: Van Heijenoort, Jean
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Mathematics-- Philosophy-- Addresses, essays, lectures
رده :
QA
9
.
V3
133. From Frege to Godel; a source book in mathematical logic, 1879-1931
المؤلف: Van Heijenoort, Jean, 2191-6891
المکتبة: (طهران)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
رده :
QA
9
.
V34
134. From mathematics to philosophy
المؤلف: Wang, Hao
المکتبة: (طهران)
موضوع: ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
BD
161
.
W27
1974
135. From mathematics to philosophy
المؤلف: Wang, Hao, 1291-5991
المکتبة: (طهران)
موضوع: ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
BD
161
.
W26F7
136. From mathematics to philosophy
المؤلف: Wang, Hao
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Knowledge, Theory of,، Logic, Symbolic and mathematical,Philosophy ، Mathematics
رده :
BD
161
.
W27
1974b
137. From mathematics to philosophy
المؤلف: Wang, Hao
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
رده :
BD
161
.
W27
1974b
138. Fundamentals of Fuzzy Sets
المؤلف: edited by Didier Dubois, Henri Prade.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.
139. Fundamentals of mathematical logic /
المؤلف: Peter G. Hinman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
رده :
QA9
.
H527
2005
